English translation for "quantifier elimination"

量词消去
量消去

Related Translations:

quantifier:  n.【逻辑学】限量词〔用 all, some 等语词以及前缀[词首]、符号等表示〕。

universal quantifiers:  概括性字眼

bounded quantifier:  有界量词

statement quantifier:  命题量词

distributive quantifier:  分布数量词

unbounded quantifier:  无界量词

heterogeneous quantifier:  非纯一量词

nonstandard quantifiers:  非标准量词

quantifier scoping:  量词的辖域作用

universal quantifier:  全称范域词全称量词

Similar Words：

"quantified conditional prediction" English translation, "quantified display" English translation, "quantified economic data" English translation, "quantified system analysis" English translation, "quantifier" English translation, "quantifier postposing transformation" English translation, "quantifier scoping" English translation, "quantifier-free" English translation, "quantifier-free conjunctive-normal form" English translation, "quantifiter" English translation